U.S. workers' average pay took a healthy jump in July

Lower-wage retail jobs in particular were among the big gainers as a tighter labor market forced employers to shell out a bit more.